a1ecd592e626169ab12033042a337627a7e35769,basex-api/src/main/java/org/basex/http/rest/RESTDelete.java,RESTDelete,get,#RESTSession#,24
Before Change
RESTCmd.parseOptions(rs);
final HTTPContext http = rs.http;
if(http.depth() == 0) throw HTTPCode.NO_PATH.get();
// open database to ensure it exists
rs.add(new Open(http.db()));
if(http.depth() == 1) rs.add(new DropDB(http.db()));
else rs.add(new Delete(http.dbpath()));
After Change
RESTCmd.parseOptions(rs);
final HTTPContext http = rs.http;
final String db = http.db();
if(db.isEmpty()) throw HTTPCode.NO_PATH.get();
// open database to ensure it exists